Automated FPGA Design, Verification and Layout
نویسندگان
چکیده
Automated FPGA Design, Verification and Layout Ian Carlos Kuon Master of Applied Science Graduate Department of Electrical and Computer Engineering University of Toronto 2004 The design and layout of Field-Programmable Gate Arrays (FPGAs) is a timeconsuming process that is currently performed manually. This work investigates two issues faced when automating this task. First, an accurate comparison of layout area between manually and automatically-generated layouts is performed. For the single commercial architecture considered, this work found that the area of an automaticallygenerated layout is only 36% larger than that needed for a manual layout. The second half of this work focused on the steps needed to implement a complete FPGA using automatic layout tools. New tools that aid the design and verification of an FPGA are presented and an FPGA created with those tools was verified in simulation and then sent for fabrication. This indicates that automatic layout tools can be used to design complete FPGAs in a fraction of the time required for manual design.
منابع مشابه
gNOSIS: Mining FPGAs for Verification
Hardware verification on FPGAs runs more than three orders of magnitude faster than software simulations, however with much lower visibility into the design under test. To expedite the task of debugging and specification verification, we propose a tool framework that automates many tedious aspects of the process. We provide tools to mine assertions either from simulation or hardware traces, to ...
متن کاملDesigning FPGA Circuits in Lava
This paper explores the potential of the lazy functional programming language Haskell for the specification, synthesis and verification of digital circuits. Circuits are described using combinators that combine behaviour (allowing circuit simulation, symbolic evaluation and partial evaluation) and layout (allowing the generation of output suitable for entry into VLSI CAD tools). We call the sof...
متن کاملVerification of Parameterised FPGA Circuit Descriptions with Layout Information
Manual placement is commonly used in FPGA circuit design in order to achieve better resultsthan would be generated by automatic place and route algorithms. However, explicit place-ment of individual components in parameterised descriptions is tedious and error-prone. Inthis thesis we present a framework for the design and verification of parameterised hardwarelibraries with layo...
متن کاملAn Automatic Design Flow from Formal Models to FPGA
SMV [McM93] is a language suitable for integrated circuit design and optimized for formal verification. VHDL [IEE93] is a design format suitable for simulation and synthesis, but poorly designed for formal verification purposes. The contribution of this paper is the integration of the two approaches through the definition of systematic rules to translate SMV programs into VHDL descriptions, pro...
متن کاملTwo optimal algorithms for finding bi-directional shortest path design problem in a block layout
In this paper, Shortest Path Design Problem (SPDP) in which the path is incident to all cells is considered. The bi-directional path is one of the known types of configuration of networks for Automated Guided Vehi-cles (AGV).To solve this problem, two algorithms are developed. For each algorithm an Integer Linear Pro-gramming (ILP) is determined. The objective functions of both algorithms are t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004